Synthesizing Glue Operators from Glue Constraints for the Construction of Component-Based Systems
نویسندگان
چکیده
We study glue operators used in component-based frameworks to obtain systems as the composition of atomic components described as labeled transition systems (LTS). Glue operators map tuples of LTS into LTS. They restrict the behavior of their arguments by performing memoryless coordination. In a previous paper, we have proposed a simple format for SOS rules that captures, in particular, glue operators from known frameworks such as CCS, SCCS, CSP, and BIP. This paper studies a new way for characterizing glue operators: as boolean glue constraints between interactions (sets of ports) and the state of the coordinated components. We provide an SOS format for glue, which allows a natural correspondence between glue operators and glue constraints. This correspondence is used for automated synthesis of glue operators implementing given glue constraints. By focusing on the properties that do not bear computation, we reduce a very hard (and, in general, undecidable) problem of synthesizing controllers to a tractable one. The examples in the paper show that such properties are natural and can be expressed as glue constraints in a straightforward manner. Finally, we compare expressiveness of the proposed formalisms with the glue used in the BIP framework and discuss possible applications.
منابع مشابه
A Framework for Component-based Construction Extended Abstract
We present an overview of results developed mainly at Verimag, by the author and his colleagues, on a framework for component-based construction, characterized by the following: • The behavior of atomic components is represented by transition systems; • Components are built from a set of atomic components by using ”glue” operators; • For each component, it is possible to separate its behavior f...
متن کاملA Notion of Glue Expressiveness for Component-Based Systems
Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine. This leads to a notion of expressiveness which is not adequate for component-based systems where separation between behavior and coordination mechanisms is essential. The paper proposes a notion of glue expressiveness for com...
متن کاملSynthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications
Composition of a concurrent system out of components involves coordination of their mutual interactions. In component-based construction, this coordination becomes the responsibility of the glue-code language and its underlying run-time middle-ware. Reo offers an expressive glue-language for construction of coordinating component connectors out of primitive channels. In this paper we consider t...
متن کاملAggressive Model-Driven Development: Synthesizing Systems from Models viewed as Constraints
According to several roadmaps and predictions, future systems will be highly heterogeneous, they will be composed of special purpose code, perhaps written in different programming languages, integrate legacy components, glue code, and adapters combining different technologies, which may run distributed on different hardware platforms, on powerful servers or at (thin and ultra-thin) client sites...
متن کاملThe Application of a New Cyanoacrylate Glue in Pediatric Surgery for Fistula Closure
Surgical glues have been used in pediatric surgery because of the fragility of tissue, and to prevent major surgeries. The present report describes our experience with using a new cya-noacrylate Glubran 2 (Viareggio, Italy) in the treatment of five cases of tracheoesophageal atresia with fistula (one fistula protection, three recurrent fistula, and one unstable patients), two cases of hypospadi...
متن کامل